  
  
                                  [1X quickcheck [101X
  
  
                     [1X Randomised Testing for [5XGAP[105X Functions [101X
  
  
                                     1.0.2
  
  
                                  10 June 2026
  
  
                             Christopher Jefferson
  
  
  
  Christopher Jefferson
      Email:    [7Xmailto:caj21@st-andrews.ac.uk[107X
      Homepage: [7Xhttps://heather.cafe/[107X
      Address:  [33X[0;14YJack  Cole  Building, North Haugh, St Andrews, Fife, KY16 9SX,
                Scotland[133X
  
  
  
  -------------------------------------------------------
  
  
  [1XContents (quickcheck)[101X
  
  1 [33X[0;0YIntroduction[133X
  2 [33X[0;0YTutorial[133X
    2.1 [33X[0;0YUsing QuickCheck[133X
    2.2 [33X[0;0YValid argument types for QuickCheck[133X
    2.3 [33X[0;0YAdding new types to QuickCheck[133X
  3 [33X[0;0YFunctionality[133X
    3.1 [33X[0;0YMethods[133X
      3.1-1 QC_MakeRandomArgument
      3.1-2 QC_Check
      3.1-3 QC_CheckEqual
      3.1-4 QC_LastFailure
      3.1-5 QC_RerunLastFailure
      3.1-6 QC_SetConfig
      3.1-7 QC_GetConfig
  
  
  [32X
